In defending his interest-relative account of knowledge in Knowledge and Practical Interests (2005), Jason Stanley relies heavily on intuitions about several bank cases. We experimentally test the empirical claims that Stanley seems to make concerning our common-sense intuitions about these bank cases. Additionally, we test the empirical claims that Jonathan Schaffer seems to make in his critique of Stanley. We argue that our data impugn what both Stanley and Schaffer claim our intuitions about such cases are. To account for these (...) results, one must develop a better conception of the connection between a subject's interests and her body of knowledge than those offered by Stanley and Schaffer. (shrink)

Despite their influence on later philosophers such as Hume, Malebranche's central arguments for occasionalism remain deeply puzzling. Both the famous ‘no necessary connection’ argument and what I call the epistemic argument include assumptions – e.g., that a true cause is logically necessarily connected to its effect – that seem unmotivated, even in their context. I argue that a proper understanding of late scholastic views lets us see why Malebranche would make this assumption. Both arguments turn on the claim that a (...) volition is the only candidate for a cause, because only a volition can include an effect as its intentional content. (shrink)

Walter Reese-Schäfer, Karl-Otto Apel, Zur Einführung (with an Afterword by Jürgen Habermas), Junis Verlag GmbH, Hamburg 1990, 176pp. DM 17.80 -/- The author, presently a freelance writer published in the newspaper “Die Zeit” and the magazine “Stern,” pro­vides in this small book a clear and concise introduction to sources, themes and conclusions in the philosophy of Karl-Otto Apel. Apel, Emeritus Pro­fessor at Frank­furt, and close colleague of Habermas, characterizes his viewpoint as a “transcen­dental pragmatism” in which a Kantian concern (...) for question regarding “the conditions for the possi­bility of some­thing,” (p.10) mixes with deontological discourse-ethics, semeiotic themes from Peirce, an ap­proach to fallibilism, the demand for “final justifica­tions” (Letzt­begründung) and German her­meneutics. In view of the “den­sity and concentration” of Apel’s texts, which often have a “deterrent effect” upon those not already at home with “the phil­osophical language game,” it is the announced aim of this book to provide a work of translation and clarification of Apel’s special­ized efforts --in effect an orientation to Apel’s work. The book divides into an Introduction, 8 chapters and a summary conclusion --with Habermas’ appreciation, “A Master Builder with Hermeneutic Feeling --The Way of Philosopher Karl-Otto Apel,” bringing up the rear. There is also a bibliography of primary and secondary sources and a short table outlining highlights of Apel’s career. The “Introduction” provides a good overview of the aims of the book and gets one started on central themes. (shrink)

La traduction latine du livre de Maïmonide Moreh Nevukhim | Guide des égarés, a été l'ouvrage juif le plus influent des derniers millénaires (Di Segni, 2019 ; Rubio, 2006 ; Wohlman, 1988, 1995 ; Kohler, 2017). Elle marqua le début de la scolastique, fille du judaïsme élevée par des penseurs juifs, selon l'historien Heinrich Graetz (Geschichte der Juden, L. 6, Leipzig 1861, p. xii). Imprimée par la première presse mécanique de Gutenberg, son influence en Occident s'étendit jusqu'au Vème concile du (...) Latran (1512-1517) « où les savants furent encouragés à lever les difficultés qui semblaient diviser l'ensemble de la théologie et de la philosophie — (Leibniz, Théodicée, 11 ) ». Pendant des siècles, le Guide a révolutionné le programme d'instruction scolaire en réintégrant dans le domaine de la foi les lois de la pensée (dont la quatrième est devenue le principe de la raison suffisante de Leibniz). Cette collection complète de notes qui expose les idées du Guide fournit tous les passages sélectionnés et réécrits par Leibniz. Cette première traduction complète bilingue annotée des manuscrits originaux en latin sert de porte d'entrée à la foi conforme à la Raison. -/- « L'excellent livre du Rabbin Moïse Maïmonide, le Guide des égarés, est plus philosophique que je ne l'avais imaginé et mérite une lecture attentive. L'auteur, distingué par son intelligence en philosophie, était versé dans les mathématiques, l'art médical, et aussi dans la connaissance de Saintes Écritures. » — G. W. LEIBNIZ, 1685, Anthologie de Leibniz du Guide de Maïmonide, Chapitre III. (shrink)

Much of the literature from political psychology has focused on the negative traits that are positively associated with affective polarization—e.g., animus, arrogance, distrust, hostility, and outrage. Not as much attention has been focused on the positive traits that might be negatively associated with polarization. For instance, given that people who are intellectually humble display greater openness and less hostility towards conflicting viewpoints (Krumrei-Mancuso & Rouse, 2016; Hopkin et al., 2014; Porter & Schumann, 2018), one might reasonably expect them to be (...) less polarized. -/- We ran two studies designed to explore the relationship between various forms of humility and polarization. Our chief finding is that people who value humility are prone to what we are calling epistemic polarization—that is, judging the epistemic traits of contrapartisans negatively—which in turn plays a role in polarization more generally. Not only are contrapartisans deemed to have the wrong moral and political beliefs, they are also viewed as less humble and more arrogant, close-minded, and irrational. This makes matters even worse when it comes to the growing partisan divide. In light of our findings, we believe that the novel concept of epistemic polarization that we introduce is a promising target for further investigation. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

This article canvases the main areas of controversy: the nature of Lockean signification and his position on propositions and particles.

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

Like their contemporary counterparts, early modern philosophers find themselves in a predicament. On one hand, there are strong reasons to deny that sensations are representations. For there seems to be nothing in the world for them to represent. On the other hand, some sensory representations seem to be required for us to experience bodies. How else could one perceive the boundaries of a body, except by means of different shadings of color? I argue that Nicolas Malebranche offers an extreme -- (...) and ultimately unworkable -- attempt to solve this riddle. Most commentators claim that Malebranche defends an adverbial theory of sensation, according to which a sensation is merely a way in which an act of sensing happens. The adverbial reading is wrong, or so I argue. Once we arrive at a more accurate reading, we shall see that his position is much more strange than is currently thought. Nevertheless, Malebranche’s view is similar to the adverbial theory in one respect, albeit it at a very high level of generality. His view thus inherits two of the main problems that afflict adverbial theories. Although Malebranche fails to solve them, his ingenious attempts to do so are instructive. (shrink)

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

Alongside the rapid global advances in neuroscientific research, neuroethics has been one of the fastest growing sub-fields within bioethics. With this rapid expansion, bioethicists struggle to kee...

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (shrink)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

Kant uses ‘wish’ as a technical term to denote a strange species of desire. It is an instance in which someone wills an object that she simultaneously knows she cannot bring about. Or in more Kantian garb: it is an instance of the faculty of desire’s (or will’s) failing insofar as a desire (representation) cannot be the cause of the realization of its corresponding object in reality. As a result, Kant originally maintained it to be antithetical to morality, which deals (...) with ‘ought implies can’. However, Kant’s notion of wish is not static. On the contrary, I argue in this article that Kant re-evaluated the capacity to wish as (to some extent) causally efficacious and, further, of moral relevance. This re-evaluation has not been discussed in the literature, yet has been lurking in plain sight in a subtle but decisive shift evident in two versions of a footnote from the *Critique of the Power of Judgement* (KU). (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible as long (...) as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

I applaud recent improvements upon previous guidelines for the assessment of pain in non-human species and the application of their framework towards decapod crustaceans. Rather than constituting a mere intermediate solution between the scientific difficulty of settling questions of animal consciousness and the need for a framework for the purposes of animal welfare legislation, I will argue that the longer lists of criteria for animal sentience should make us realize that animal sentience is a multi-dimensional phenomenon that must be studied (...) with a plethora of methods in order to assess its diversity across the tree of life. (shrink)

An indeterminate version of Henry Sidgwick’s “Dualism of Practical Reason” may offer a solution to Derek Parfit’s “Repugnant Conclusion”. Here we will outline the problem of Sidgwick’s Dualism and how to resolve it within the framework of practical reason and the problem of Parfit’s Repugnance and why it is irresoluble within the framework of pure utilitarianism. Then we will argue how Sidgwick’s Dualism, under certain formulations of indeterminacy, specifically under those Indeterminacy Views advanced by David Phillips (and others), implies a (...) resolution to the Repugnant Conclusion that is both intuitive and simple, resolving Sidgwick’s Dualism and Parfit’s Repugnance in one conceptual move. (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

In this commentary we advance Jagiello et al.'s proposal by zooming in on the possible evolutionary origins of the “bifocal stance” that may have enabled a major transition in human cultural evolution, arguing that the evolution of the bifocal stance was driven by an explosion in cultural complexity arising from cooperative foraging, which led to a feedback loop between the ritual and instrumental stances.

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

While small group discussion is invaluable to the philosophy classroom, I think it can be improved. In this paper I present a method that I have developed to better facilitate active learning in the spirit of a philosopher within a Socratic community. My method is to form what I call a “philosophical think tank,” which takes the form of a small group that persists for the duration of the semester in order to overcome deficiencies that can arise if groups are (...) determined anew with each class meeting. After presenting the technique, I offer an overview of results, possible issues, and ideas for future development. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

The goal of this paper is to clarify the role wrong plays in Hegel ’s system of right, as both a form of freedom and the transition to morality. Two approaches will be examined to explore wrong in practical philosophical terms: First, one could take the transition to be descriptive in nature. The transition describes wrong as a realized fact of the human condition that one inherits from the outset. Second, one could see it as prescriptive. Actual wrongdoing would be (...) essential for the subject’s progression to becoming moral. Though both are most likely the case, emphasis is given to the latter since it represents the actualization of potential. Furthermore, it will be suggested that wrong plays a similar role as that which alienation does in the Phenomenology of Spirit; both bridge the will as abstract personality with the moral point of view. (shrink)

This paper offers a critique of empirical tests of the free will, aiming at a presupposition underpinning the experiments’ methodology. The presupposition is that the artificial reporting of machines is prima facie directly congruent with the first-person perspectival report of the participant. A critique of the method reveals the problematic nature of this methodological set-up. The phenomenological critique, however, also carries implications for a theoretical framework dealing with ‘embodied’ religion; these implications will be dis-cussed via reference to the article by (...) Marcel Sarot. (shrink)

Are workers dominated? A recent suite of neo-republican and relational egalitarian philosophers think they are. Suppose they are right; that is, suppose that some workers are governed by an unjust and arbitrary power existing in labour relations, which persists even in the presence of the actual ability to exit. My question is this: does that give us reason to impose restrictions on firms? According to the so-called Efficiency Objection there are relevant trade-offs that need to be considered between the efficiency (...) of firms and the freedom of workers, and upon considering these trade-offs, we should reject workplace democracy. In this paper, I present a dilemma for the Efficiency Objection. I argue that either the Efficiency Objection is justified on moral grounds or non-moral grounds; if the Efficiency Objection is justified on moral grounds, then it fails because efficiency cannot be valued for its own sake (it is only instrumentally good); if the Efficiency Objection is justified on non-moral grounds, then it fails because of the respect that we owe to persons as persons; therefore, the Efficiency Objection fails. (shrink)

Like many others, I see Crump et al. (2022) as a milestone for improving upon previous guidelines and for extending their framework to decapod crustaceans. Their proposal would benefit from a firm evolutionary foundation by adding the comparative measurement of life-history complexity as a ninth criterion for attributing sentience to nonhuman animals.

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

Dorothy Edgington’s work has been at the centre of a range of ongoing debates in philosophical logic, philosophy of mind and language, metaphysics, and epistemology. This work has focused, although by no means exclusively, on the overlapping areas of conditionals, probability, and paradox. In what follows, I briefly sketch some themes from these three areas relevant to Dorothy’s work, highlighting how some of Dorothy’s work and some of the contributions of this volume fit in to these debates.

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Este ha sido el mundo infantil – imposible y contradictorio – que sentimos habitar en este escrito, en esta escritura. En ese mundo, como ahora, el inicio y el final coinciden. En ese mundo, que Heráclito llamaría aión, es la infancia la que gobierna. Un gobierno infantil. Por lo tanto, es tiempo de callarnos. De estarnos sin tanta luz y sin tantas palabras. Para dormir y soñar. Es tiempo de terminar. O de comenzar. Los y las lectores infantiles (no) tienen (...) la palabra. Nosotros ya (no) la tenemos… (¡hipo!). (shrink)